#ifndef _WDT_H_
#define _WDT_H_

#include<rtthread.h>
rt_err_t WDT_INIT(void);
uint32_t get_counter(void);
void fwdt_reload(void);
void WDT_Restart(void);





#endif 






